Marker Annotation Specification

org.eclipse.ui.editors.markerAnnotationSpecification

3.0 (originally named org.eclipse.ui.workbench.texteditor.markerAnnotationSpecification)

This extension point is used to define presentation properties of markers. Extensions provided for this extension point can be accessed using org.eclipse.ui.texteditor.MarkerAnnotationPreferences.

<!ELEMENT extension (specification)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT specification EMPTY>

<!ATTLIST specification

annotationType                         CDATA #REQUIRED

colorPreferenceKey                     CDATA #IMPLIED

overviewRulerPreferenceKey             CDATA #IMPLIED

verticalRulerPreferenceKey             CDATA #IMPLIED

textPreferenceKey                      CDATA #IMPLIED

label                                  CDATA #IMPLIED

highlightPreferenceKey                 CDATA #IMPLIED

markerType                             CDATA #IMPLIED

colorPreferenceValue                   CDATA #IMPLIED

markerSeverity                         (0|1|2)

presentationLayer                      CDATA #IMPLIED

overviewRulerPreferenceValue           (true | false)

verticalRulerPreferenceValue           (true | false)

textPreferenceValue                    (true | false)

highlightPreferenceValue               (true | false)

contributesToHeader                    (true | false)

showInNextPrevDropdownToolbarActionKey CDATA #IMPLIED

showInNextPrevDropdownToolbarAction    (true | false)

isGoToNextNavigationTargetKey          CDATA #IMPLIED

isGoToNextNavigationTarget             (true | false)

isGoToPreviousNavigationTargetKey      CDATA #IMPLIED

isGoToPreviousNavigationTarget         (true | false)

icon                                   CDATA #IMPLIED

symbolicIcon                           (error|warning|info|task|bookmark)

annotationImageProvider                CDATA #IMPLIED>



Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.